java -Xms10240m -Xmx10240m -jar ../epmc-standard.jar check --model-input-files wlan.5.prism --model-input-type prism --property-input-files wlan.props --property-input-names cost_min --translate-messages false --value-floating-point-output-native true --graphsolver-iterative-stop-criterion relative --graphsolver-iterative-tolerance 1e-6 --const COL=0
assertions-disabled
start-parsing
done-parsing
model-checking
analysing-property cost_min
start-building-explorer
start-building-initial-states-explorer
done-building-initial-states-explorer
done-building-explorer
build-model-start
build-model-states-explored 16726 16726
build-model-states-explored 37470 20744
build-model-states-explored 56619 19149
build-model-states-explored 77348 20729
build-model-states-explored 101753 24405
build-model-states-explored 126268 24515
build-model-states-explored 149391 23123
build-model-states-explored 174631 25240
build-model-states-explored 199651 25020
build-model-states-explored 222437 22786
build-model-states-explored 248796 26359
build-model-states-explored 275156 26360
build-model-states-explored 301469 26313
build-model-states-explored 327782 26313
build-model-states-explored 354368 26586
build-model-states-explored 381030 26662
build-model-states-explored 407827 26797
build-model-states-explored 431064 23237
build-model-states-explored 449455 18391
build-model-states-explored 469858 20403
build-model-states-explored 495492 25634
build-model-states-explored 520744 25252
build-model-states-explored 546229 25485
build-model-states-explored 571851 25622
build-model-states-explored 597485 25634
build-model-states-explored 623110 25624
build-model-states-explored 648116 25007
build-model-states-explored 672757 24641
build-model-states-explored 694259 21502
build-model-states-explored 720077 25818
build-model-states-explored 746787 26710
build-model-states-explored 773441 26654
build-model-states-explored 800108 26667
build-model-states-explored 826794 26686
build-model-states-explored 847667 20873
build-model-states-explored 874876 27209
build-model-states-explored 902001 27125
build-model-states-explored 929126 27125
build-model-states-explored 956262 27135
build-model-states-explored 983410 27147
build-model-states-explored 1010546 27136
build-model-states-explored 1037698 27153
build-model-states-explored 1064768 27070
build-model-states-explored 1090904 26136
build-model-states-explored 1115734 24830
build-model-states-explored 1140570 24836
build-model-states-explored 1165381 24811
build-model-states-explored 1190198 24817
build-model-states-explored 1215024 24826
build-model-states-explored 1239832 24808
build-model-states-explored 1264662 24829
build-model-states-explored 1287824 23161
build-model-done 1295218 52
iterating
iterating-progress-unbounded 70 0.46511627906976744 1
iterating-progress-unbounded 147 0.24691358024691357 2
iterating-progress-unbounded 223 0.16806722689075632 3
iterating-progress-unbounded 300 0.12658227848101267 4
iterating-progress-unbounded 377 0.10204081632653061 5
iterating-progress-unbounded 454 0.0851063829787234 6
iterating-progress-unbounded 532 0.072992700729927 7
iterating-progress-unbounded 609 0.0641025641025641 8
iterating-progress-unbounded 687 0.05698005698005698 9
iterating-progress-unbounded 765 0.05128205128205128 10
iterating-progress-unbounded 843 0.046620046620046623 11
iterating-progress-unbounded 922 0.042643923240938165 12
iterating-progress-unbounded 1000 0.03937007874015748 13
iterating-done 1068 13
model-checking-done 369
command-check-result-is 7625.0 cost_min